val a/*<# :Int #>*/ = listOf(1, 2, 3).sum()